| 翻訳と辞書 | Standard ML (SML) Originally an attempt by Robin Milner  ca. 1984 to unify the dialects of ML, SML has evolved into a robust general-purpose language.  Later versions have been maintained by D. B. MacQueen, Lal George , and J. H. Reppy  at AT&T, and A. W. Appel .
 SML is functional, with imperative programming features.  It is environment based and strict.  It adds to ML the {call-by-pattern} of Hope, {recursive data types}, {reference types}, typed exceptions, and modules.  (The "core" language excludes the modules).
 Standard ML is polymorphically typed and its module system supports flexible yet secure large-scale programming.  Standard ML of New Jersey is an optimising {native-code compiler} for Standard ML that is written in Standard ML.  It runs on a wide range of architectures. The distribution also contains: an extensive library - The Standard ML
 
 
 スポンサード リンク
 
 | 翻訳と辞書 : 翻訳のためのインターネットリソース | 
 | Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
 
 | 
 |